Proposition 5.1.5

Let be a -algebra.

  1. if is unital, then
  2. If is stably finite, then
  3. If is unital and stably finite then is an ordered abelian group.